export const HIGHLIGHT_CLASS = 'highlighter--highlighted';
export const DELETED_CLASS = 'highlighter--deleted';

export const HIDDEN_SELECTED_ELEM_ID = 'right-clicked-elem';
export const HIDDEN_PAGE_COMMENTS_ELEM_ID = 'hidden-page-comments-elem';

export const URL_HASH_PREFIX = '#~:~highlights=';
